1. Advances in the design of symbolic computation systems
پدیدآورنده: A. Miola and M. Temperini )eds.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، System design,، Object-oriented programming )Computer science(,، Mathematics -- Data processing
رده :
QA
76
.
9
.
S88
A38
1997
2. Advances in the design of symbolic computation systems
پدیدآورنده: A. Miola and M. Temperini )eds.(,Series
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: System design,Object-oriented programming )Computer science(,Mathematics -- Data processing
رده :
QA
.
S88
,
A38
76
.
9
1997
3. Algorithms and complexity : new directions and recent results
پدیدآورنده: edited by J. F. Traub
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Computational complexity,Data processing -- Congresses ، Mathematics
رده :
QA
76
.
6
.
S98
1976
4. An introduction to SAGE programming
پدیدآورنده: \ Razvan A. Mezei, Lenoir-Rhyne University, Donald & Helen Schort School of Mathematics and Computing Sciences, Hickory, NC, USA.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Mathematics-- Data processing.,Numerical analysis-- Data processing.,Computer programming.,ریاضیات -- داده‌پردازی
رده :
QA76
.
95
.
M486
2016
E-Book
,
5. An introduction to SAGE programming :
پدیدآورنده: Razvan A. Mezei
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: SageMath.,Computer programming.,Mathematics-- Data processing.,Numerical analysis-- Data processing.
رده :
QA76
.
95
6. Beginning math and physics for game programmers
پدیدآورنده: / Wendy Stahler
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computer science- Mathematics,Computer games- Programming,Physics- Data processing
رده :
QA76
.
9
.
M35
,
S73
2004
7. Box2d for Flash games
پدیدآورنده: Emanuele Feronato
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer animation-- Mathematics,Computer games-- Programming,Physics-- Data processing
رده :
QA76
.
76
.
C672
P36
2012
8. Calculating with Fortran
پدیدآورنده: Manifold, George O.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، FORTRAN )Computer program language(,، Electronic digital computers-- Programming,، Mathematics-- Data processing
رده :
QA
76
.
73
.
F25
.
M35
9. Categories and computer science
پدیدآورنده: Walters, R. F. C.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing ، Categories )Mathematics(,، Computer programming
رده :
QA
169
.
W3
10. Categories and computer science
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Categories (Mathematics) ; Data processing ; Computer programming ;
11. Computational category theory /
پدیدآورنده: D.E. Rydeheard, R.M. Burstall
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Categories (Mathematics)-- Data processing,Computer programming
رده :
QA169
.
R93
1988
12. Computational category theory
پدیدآورنده : David E. Rydeheard, Rod M. Burstall
موضوع : Categories (Mathematics)- Data processing,Computer programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
13. Computer science, a mathematical interoduction applied mathematics--modelling analysis, and optimization techniques with application to software ystems
پدیدآورنده: / Art Lew
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Electronic data processing--Mathematics,Electronic digital computer-Programming,Computer science - Mathematics
رده :
QA
76
.
9
.
M35L48
1984
14. Computer science with Mathematica
پدیدآورنده : Roman E. Maeder
موضوع : Mathematica (Computer file),Mathematics, Data processing,Mathematica (Computer programming language)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
15. Computer science with Mathematica
پدیدآورنده: / Roman E. Maeder
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Mathematica (Computer file),Mathematics- Data processing,Mathematica (Computer programming language)
رده :
QA76
.
95
.
M34
2000
16. Computer science with Mathematica : theory and practice for science, mathematics, and engineering
پدیدآورنده: / Roman E. Maeder.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematica (Computer file),Mathematics -- Data processing.,Mathematica (Computer programming language)
رده :
QA76
.
95
.
M34
2000
17. Computer science with Mathematica: theory and practice for science, mathematics, and engineering
پدیدآورنده : Maeder, Roman
موضوع : ، Mathematics-- Data processing,، Mathematica )Computer programming language(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
18. Fortran codes for mathematical programming : linear, quadratic and discrete
پدیدآورنده: Land, Ailsa H
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Data processing ، Programming )Mathematics(,، FORTRAN )Computer program language(
رده :
QA
402
.
5
.
L33
19. From problem to program
پدیدآورنده: Wardle, Michael E.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computer programming,، Mathematics - Data processing
رده :
QA
76
.
6
.
W35
1972
20. How to solve it by computer
پدیدآورنده: Dromey, R.G
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Data processing ، Mathematics,Data processing ، Problems solving,Programming ، Electronic digital computer
رده :
QA
76
.
95
.
D76
1982
